Exceptions in OO Languages: Using Them and Reasoning about Them
نویسندگان
چکیده
منابع مشابه
Unifying Schema and Instance Levels of Object-Oriented Databases
In this paper we present the consequences of unifying the representation of the schema and the instance levels of an object-oriented (OO) database to the formal representation of OO database model. The uniform representation of the schema and the instance levels of OO databases is achieved, as in the frame-based knowledge representation languages 13], by representing them using a uniform set of...
متن کاملCompiling and reasoning about exceptions and interrupts
Exceptions and interrupts are important for programming reliable software systems, yet our methods for reasoning about them are weak. In this thesis we explore the problem of compiling and reasoning about exceptions and interrupts in the context of a simple language. We develop the language in three stages, initially without any form of exceptions, then adding exceptions, and finally adding int...
متن کاملReconciling Software Extensibility with Modular Program Reasoning
Reconciling Software Extensibility with Modular Program Reasoning by Todd David Millstein Chair of Supervisory Committee: Professor Craig Chambers Computer Science & Engineering Programming languages that support the creation of reusable software components help make programs easier to create, maintain, and understand. To accrue these benefits in practice, a component must be extensible, able t...
متن کاملUnderstanding Exceptional Behavior and Exception Flow in Implicit Invocation Systems by Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish
Exceptions and their implicit control flow complicate modular understanding (reasoning) of both exceptional behavior and exception flow of a system. Such reasoning tasks about exceptions are more complicated in implicit invocation (II) systems, where a subject module can invoke other observer modules without knowing about them and especially behavior and flow of their exceptions. In this work, ...
متن کاملR-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata
In this paper we present R-DEVICE, a deductive object-oriented knowledge base system for reasoning over RDF metadata. R-DEVICE imports RDF documents into the CLIPS production rule system by transforming RDF triples into COOL objects and uses a deductive rule language for reasoning about them. R-DEVICE is based on an OO RDF data model, different than the established triple-based model, which map...
متن کامل